@CHARSET "ISO-8859-1";

body { padding: 0.2em; }
h1 { font-size: 1.2em; font-weight: normal; color: navy; }